42. Logics of programs and their applications: proceedings, pozan, August 23-29, 1980
پدیدآورنده: Symposium on Logics of Programs and their Applications )0891: Poznan, Poland(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
S91935
1980
43. MSP430 microcontroller basics /
پدیدآورنده: by John H. Davies.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: C (Computer program language),Texas Instruments MSP430 series microprocessors-- Programming.,C (Computer program language),Circuits électroniques-- Calcul.,COMPUTERS-- Hardware-- Personal Computers-- Macintosh.,COMPUTERS-- Hardware-- Personal Computers-- PCs.,Microcontrôleurs.
رده :
TK7895
.
M5
D38
2008eb
44. OSF/Motif programmer's guide: revision 1.0
پدیدآورنده: Open software foundation
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Motif )Computer file(,، Windows )Computer programs(,Programming ، Electronic digital computers
رده :
QA
76
.
76
.
W56
O69
1990
45. Parallel processing and applied mathematics :
پدیدآورنده: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
46. Program derivation :the development of programs from specifications
پدیدآورنده: Geoff Dromey
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic digital computers--Programming
رده :
QA
،
76
.
6
،.
D77
،
1989
47. Program derivation : the development of programs from specifications
پدیدآورنده: Dromey, R. G., 6491-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers- Programming
رده :
QA
76
.
6
.
D77
1989
48. Program style, design, efficiency, debugging, and testing
پدیدآورنده: Van Tassel, Dennie
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Debugging in computer science,Testing ، Computer programs
رده :
QA
76
.
6
.
V37
1978
49. Program style, design, efficiency, debugging, and testing
پدیدآورنده: Van Tassel, Dennie
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Debugging in computer science,، Computer programs-- Testing
رده :
QA
76
.
6
.
V37
1978
50. Program style,design,efficincy
پدیدآورنده: VAN TASSEL,DENNIE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DEBUGGING IN COMPUTER SCIENCE , COMPUTER PROGRAMS-TESTING
رده :
QA
76
.
6
.
V37
51. Programming in the 1990s: an introdiction to the calculation of programs
پدیدآورنده: Edward Cohen
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Programming ، Electronic digital computers
رده :
QA
76
.
6
.
C62
1990
52. Programming structures
پدیدآورنده: / Jan Hext
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers - Programming,Data structures (Computer science),Structured programming
رده :
QA
76
.
6
.
H49
1990
53. Programs from decision tabels
پدیدآورنده: / Edward Humby
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming,Decision logic tables
رده :
001
.
6423
H919p
54. Programs from decision tables
پدیدآورنده: / E. Humby
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Electronic digital computers - Programming,Decision logic tables
رده :
QA76
.
6
.
H85
55. Research programs in electrical engineering and computer sciences
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
C3
56. Software Engineering Concepts
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه یزد (یزد)
موضوع: Electronic digital computers-Programming►Computer programs
رده :
.
6
.
F35
57. Software Engineering Concepts
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه یزد (یزد)
موضوع: Electronic digital computers-Programming►Computer programs
رده :
.
6
.
F35
58. Software Engineering Concepts
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه یزد (یزد)
موضوع: Electronic digital computers-Programming►Computer programs
رده :
.
6
.
F35
59. Software Engineering Concepts
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه یزد (یزد)
موضوع: Electronic digital computers-Programming►Computer programs
رده :
.
6
.
F35
60. Software Engineering Concepts
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه یزد (یزد)
موضوع: Electronic digital computers-Programming►Computer programs
رده :
.
6
.
F35
